appDisplay: Re-add _getCategories

It was introduced by one of the commits reverted by 812a61939e2d06,
but is now used for app folders as well; add it back.

diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 0d5328943cd99b5aa8522104a0625d1da303c414..e2db974b36b9b70cfbe43534b8ea32ccb89e5788 100644 (file)
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -46,6 +46,13 @@ const INDICATORS_ANIMATION_MAX_TIME = 0.75;
 const PAGE_SWITCH_TRESHOLD = 0.2;
 const PAGE_SWITCH_TIME = 0.3;
 
+function _getCategories(info) {
+    let categoriesStr = info.get_categories();
+    if (!categoriesStr)
+        return [];
+    return categoriesStr.split(';');
+}
+
 function _listsIntersect(a, b) {
     for (let itemA of a)
         if (b.indexOf(itemA) >= 0)